x^2+2x=y^2+3